<!DOCTYPE html>
<html>
<head>
    <link href="../style.css" rel="stylesheet" type="text/css">
</head>
<body>


<h1>Repay.java</h1>

<table class="src">


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_1'/>
            1
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_1'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>package edu.sei.st.logicalcoverage;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_2'/>
            2
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_2'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_3'/>
            3
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_3'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>import java.math.BigDecimal;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_4'/>
            4
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_4'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_5'/>
            5
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_5'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>public class Repay {</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_6'/>
            6
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_6'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_7'/>
            7
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_7'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    private boolean isCardValid;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_8'/>
            8
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_8'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    private boolean isNameValid;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_9'/>
            9
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_9'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    private BigDecimal balance;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_10'/>
            10
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_10'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_11'/>
            11
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_11'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    private boolean  isTotal;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_12'/>
            12
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_12'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    private boolean  isPart;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_13'/>
            13
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_13'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_14'/>
            14
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_14'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    private BigDecimal payment;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_15'/>
            15
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_15'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_16'/>
            16
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_16'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>    public Repay(boolean isCardValid, boolean isNameValid, BigDecimal balance, boolean isTotal, boolean isPart, BigDecimal payment) {</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_17'/>
            17
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_17'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>        this.isCardValid = isCardValid;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_18'/>
            18
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_18'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>        this.isNameValid = isNameValid;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_19'/>
            19
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_19'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>        this.balance = balance;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_20'/>
            20
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_20'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>        this.isTotal = isTotal;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_21'/>
            21
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_21'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>        this.isPart = isPart;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_22'/>
            22
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_22'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>        this.payment = payment;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_23'/>
            23
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_23'></a>
<span>
</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class=''>    }</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_24'/>
            24
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_24'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_25'/>
            25
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_25'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    public String doRepay(){</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_26'/>
            26
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_26'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''></span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_27'/>
            27
        </td>
        <td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_27'>4</a>
<span>

1. doRepay : changed conditional boundary &rarr; KILLED<br/>

2. doRepay : negated conditional &rarr; KILLED<br/>

3. doRepay : negated conditional &rarr; KILLED<br/>

4. doRepay : negated conditional &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class='killed'>        if (isCardValid &#38;&#38; isNameValid &#38;&#38; balance.compareTo(BigDecimal.ZERO)&#62;0) {</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_28'/>
            28
        </td>
        <td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_28'>2</a>
<span>

1. doRepay : negated conditional &rarr; KILLED<br/>

2. doRepay : negated conditional &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class='killed'>            if(isTotal || isPart){</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_29'/>
            29
        </td>
        <td class='survived'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_29'>2</a>
<span>

1. doRepay : changed conditional boundary &rarr; SURVIVED<br/>

2. doRepay : negated conditional &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class='survived'>                if(payment.compareTo(new BigDecimal(10.00))&#62;=0)</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_30'/>
            30
        </td>
        <td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_30'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class='killed'>                    return &#34;success&#34;;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_31'/>
            31
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_31'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>                else</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_32'/>
            32
        </td>
        <td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_32'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class='killed'>                    return &#34;not enough balance &#34;;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_33'/>
            33
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_33'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>                }</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_34'/>
            34
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_34'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>            else</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_35'/>
            35
        </td>
        <td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_35'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span class='killed'>                return &#34;return&#34;;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_36'/>
            36
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_36'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>        }</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_37'/>
            37
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_37'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>        else</span></pre>
        </td>
    </tr>


    <tr>
        <td class='covered'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_38'/>
            38
        </td>
        <td class='killed'>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_38'>1</a>
<span>

1. doRepay : replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED<br/>

</span>
</span>
        </td>
        <td class='covered'>
            <pre><span
                    class='killed'>            return &#34;card invalid or name invalid or balance &#60;=0 &#34;;</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_39'/>
            39
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_39'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>    }</span></pre>
        </td>
    </tr>


    <tr>
        <td class='na'>
            <a name='org.pitest.mutationtest.report.html.SourceFile@297c9a9b_40'/>
            40
        </td>
        <td class=''>
<span class='pop'>
<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_40'></a>
<span>
</span>
</span>
        </td>
        <td class=''>
            <pre><span class=''>}</span></pre>
        </td>
    </tr>


    <tr>
        <td></td>
        <td></td>
        <td><h2>Mutations</h2></td>
    </tr>


    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_27'>27</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_27'/>

            <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayMCDCCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayMCDCCoverageTest]/[method:doRepay()]</span></span>
                changed conditional boundary &rarr; KILLED</p>
            <p class='KILLED'><span class='pop'>2.<span><b>2</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                negated conditional &rarr; KILLED</p>
            <p class='KILLED'><span class='pop'>3.<span><b>3</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                negated conditional &rarr; KILLED</p>
            <p class='KILLED'><span class='pop'>4.<span><b>4</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                negated conditional &rarr; KILLED</p>
        </td>
    </tr>

    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_28'>28</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_28'/>

            <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                negated conditional &rarr; KILLED</p>
            <p class='KILLED'><span class='pop'>2.<span><b>2</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                negated conditional &rarr; KILLED</p>
        </td>
    </tr>

    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_29'>29</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_29'/>

            <p class='SURVIVED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>none</span></span>
                changed conditional boundary &rarr; SURVIVED</p>
            <p class='KILLED'><span class='pop'>2.<span><b>2</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                negated conditional &rarr; KILLED</p>
        </td>
    </tr>

    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_30'>30</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_30'/>

            <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED</p>
        </td>
    </tr>

    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_32'>32</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_32'/>

            <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED</p>
        </td>
    </tr>

    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_35'>35</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_35'/>

            <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED</p>
        </td>
    </tr>

    <tr>
        <td><a href='#org.pitest.mutationtest.report.html.SourceFile@297c9a9b_38'>38</a></td>
        <td></td>
        <td>

            <a name='grouporg.pitest.mutationtest.report.html.SourceFile@297c9a9b_38'/>

            <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>doRepay<br/><b>Killed by : </b>edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]</span></span>
                replaced return value with &#34;&#34; for edu/sei/st/logicalcoverage/Repay::doRepay &rarr; KILLED</p>
        </td>
    </tr>

</table>


<h2>Active mutators</h2>
<ul>

    <li class='mutator'>CONDITIONALS_BOUNDARY</li>

    <li class='mutator'>EMPTY_RETURNS</li>

    <li class='mutator'>FALSE_RETURNS</li>

    <li class='mutator'>INCREMENTS</li>

    <li class='mutator'>INVERT_NEGS</li>

    <li class='mutator'>MATH</li>

    <li class='mutator'>NEGATE_CONDITIONALS</li>

    <li class='mutator'>NULL_RETURNS</li>

    <li class='mutator'>PRIMITIVE_RETURNS</li>

    <li class='mutator'>TRUE_RETURNS</li>

    <li class='mutator'>VOID_METHOD_CALLS</li>

</ul>

<h2>Tests examined</h2>
<ul>
    <li>
        edu.sei.st.logicalcoverage.RepayMCDCCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayMCDCCoverageTest]/[method:doRepay()]
        (4 ms)
    </li>
    <li>
        edu.sei.st.logicalcoverage.RepayConditionCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayConditionCoverageTest]/[method:doRepay()]
        (10 ms)
    </li>
    <li>
        edu.sei.st.logicalcoverage.RepayDecisionCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayDecisionCoverageTest]/[method:doRepay()]
        (4 ms)
    </li>
    <li>
        edu.sei.st.logicalcoverage.RepayStatementCoverageTest.[engine:junit-jupiter]/[class:edu.sei.st.logicalcoverage.RepayStatementCoverageTest]/[method:doRepay()]
        (3 ms)
    </li>
</ul>

<br/>

Report generated by <a href='http://pitest.org'>PIT</a> 1.7.1

</body>
</html>
